04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·2d·
Discuss: DEV
🔧Binary Parsers
What you see may not be what you get
thoughtbot.com·3h
🔣Unicode
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
The hiring test that defeated AI
bitecode.dev·12h·
Discuss: Hacker News
✅Shell Verification
DNS at IETF 123
potaroo.net·4h
🌐DNS Security
Be Careful with Go Struct Embedding
mattjhall.co.uk·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsers
Relative Completeness of Incorrectness Separation Logic
arxiv.org·23h
🧠Separation Logic
A New Concurrent ML in Guile Scheme
wingolog.org·18h·
Discuss: Hacker News
🔄Lens Laws
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·20h
✅Archive Validation
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·7h
🔬Refinement Types
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·12h·
Discuss: Hacker News
🧪Binary Fuzzing
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·14h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·10h
🧮Kolmogorov Complexity
How we made JSON.stringify more than twice as fast
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Manually fixing apt's "Unmet dependencies" error
dustri.org·7h
📦Package Managers
GoLang appreciation post
reddit.com·6h·
Discuss: r/golang
📜Proof Carrying Code
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·6h·
Discuss: Hacker News
⚡Homebrew CPUs
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
TIL that You can spot base64 encoded JSON
ergaster.org·11h·
Discuss: Lobsters, Hacker News
🏺ZIP Archaeology